\frame[containsverbatim]
{
  \frametitle{LockCountAnalysis implementation (continued)}
Fact creation, copying, equality comparison
{\scriptsize
\begin{verbatim}
  public LockCount createFact() {
    return new LockCount(0);
  }

  public void initEntryFact(LockCount result)
          throws DataflowAnalysisException {
    result.setCount(isSynchronized ? 1 : 0);
  }

  public void copy(LockCount source, LockCount dest) {
    dest.setCount(source.getCount());
  }

  public boolean same(LockCount fact1, LockCount fact2) {
    return fact1.getCount() == fact2.getCount();
  }
\end{verbatim}
}
}
